$\forall$$i$:$\mathbb{Z}$, $j$:\{$i$$\ldots\,$\}. $i$ $\leq$ $j$